机译:用于基于可编程逻辑控制器(PLC)的安全关键型系统开发的软件设计规范和分析技术(SDSAT)
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:适用于安全关键型应用的基于实时内核的可编程逻辑控制器的软件认证:工具和技术
机译:硬件平台选择对嵌入式系统中安全关键软件的影响:实证评估
机译:安全关键型计算机控制系统的软件生命周期和分析技术。
机译:医疗保健大数据的软件缺陷预测:机器学习技术的实证评价
机译:安全关键软件安全分析技术经验评估的对照实验